Distributed Domain Propagation
نویسندگان
چکیده
Portfolio parallelization is an approach that runs several solver instances in parallel and terminates when one of them succeeds in solving the problem. Despite it’s simplicity portfolio parallelization has been shown to perform well for modern mixed-integer programming (MIP) and boolean satisfiability problem (SAT) solvers. Domain propagation has also been shown to be a simple technique in modern MIP and SAT solvers that effectively finds additional domain reductions after a variables domain has been reduced. This paper investigates the impact of distributed domain propagation in modern MIP solvers that employ portfolio parallelization. Computational experiments were conducted for two implementations of this parallelization approach. While both share global variable bounds and solutions they communicate differently. In one implementation the communication is performed only at designated points in the solving process and in the other it is performed completely asynchronously. Computational experiments show a positive performance impact of communicating global variable bounds and provide valuable insights in communication strategies for parallel solvers.
منابع مشابه
MPI- and CUDA- implementations of modal finite difference method for P-SV wave propagation modeling
Among different discretization approaches, Finite Difference Method (FDM) is widely used for acoustic and elastic full-wave form modeling. An inevitable deficit of the technique, however, is its sever requirement to computational resources. A promising solution is parallelization, where the problem is broken into several segments, and the calculations are distributed over different processors. ...
متن کاملFinite-Difference Time-Domain Simulation of Light Propagation in 2D Periodic and Quasi-Periodic Photonic Structures
Ultra-short pulse is a promising technology for achieving ultra-high data rate transmission which is required to follow the increased demand of data transport over an optical communication system. Therefore, the propagation of such type of pulses and the effects that it may suffer during its transmission through an optical waveguide has received a great deal of attention in the recent years. We...
متن کاملDynamic Coupled Thermo-Viscoelasticity of a Spherical Hollow Domain
The generalized coupled thermo-viscoelasticity of hollow sphere subjected to thermal symmetric shock load is presented in this paper. To overcome the infinite speed of thermal wave propagation, the Lord-Shulman theory is considered. Two coupled equations, namely, the radial equation of motion and the energy equation of a hollow sphere are obtained in dimensionless form. Resulting equations are ...
متن کاملAn efficient finite difference time domain algorithm for band structure calculations of Phononic crystal
In this paper, a new algorithm for studying elastic wave propagation in the phononic crystals is presented. At first, the displacement-based forms of elastic wave equations are derived and then the forms are discretized using finite difference method. So the new algorithm is called the displacement-based finite difference time domain (DBFDTD). Three numerical examples are computed with this met...
متن کاملWave propagation theory in offshore applications
A frequency-wavenumber-domain formulation is presented in this paper for calculation of the Green's functions and wave propagation modes in a stratified fluid body underlain by a layered viscoelastic soil medium. The Green's functions define the solid and fluid displacements and fluid pressures due to uniform disk loads acting in either the soil or fluid media. The solution is in the frequency ...
متن کاملDevelopment of a Finite-Difference Time Domain (FDTD) Model for Propagation of Transient Sounds in Very Shallow Water.
This finite-difference time domain (FDTD) model for sound propagation in very shallow water uses pressure and velocity grids with both 3-dimensional Cartesian and 2-dimensional cylindrical implementations. Parameters, including water and sediment properties, can vary in each dimension. Steady-state and transient signals from discrete and distributed sources, such as the surface of a vibrating p...
متن کامل